首页> 外文OA文献 >Axiomatisability and hardness for universal Horn classes of hypergraphs

【2h】

Axiomatisability and hardness for universal Horn classes of hypergraphs

机译：普遍的Horn类超图的轴对称性和硬度

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
相似文献
相关主题

摘要

We characterise finite axiomatisability and intractability of decidingmembership for universal Horn classes generated by finite loop-freehypergraphs.

机译：我们刻画了由有限无环超图生成的通用Horn类的有限公理和决定成员的难处理性。

著录项

作者
Ham, Lucy; Jackson, Marcel;
展开▼
作者单位

展开▼
年度 2017
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Axiomatisability and hardness for universal Horn classes of hypergraphs [J] . Ham Lucy, Jackson Marcel Algebra Universalis . 2018,第2期

机译：普通角超图的公理性和硬度
2. On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions [J] . Badia Guillermo, Marcos Joao Algebra Universalis . 2018,第2期

机译：在通用D-Horn句和普遍积极障碍的结构上的课堂上
3. On the existence of free models in fuzzy universal Horn classes [J] . Costa Vicent, Dellunde Pilar Journal of Applied Logic . 2017,第sepa期

机译：关于模糊通用Horn类中自由模型的存在
4. Is Observational Congruence Axiomatisable in Equational Horn Logic? [C] . Michael Mendler, Gerald Luettgen International Conference on Concurrency Theory(CONCUR 2007); 20070903-08; Lisbon(PT) . 2007

机译：方程式号角逻辑中的观测同余公理化吗？
5. QUERY TRANSLATION IN A HETEROGENEOUS DISTRIBUTED DATABASE BASED ON HYPERGRAPH MODELS (RELATIONAL MODEL, HIERARCHICAL, NETWORK, UNIVERSAL) [D] . OWRANG OJABONI, MOHAMMAD MEHDI. 1986

机译：基于超图模型（关系模型，分层，网络，通用）的异构分布数据库中的查询翻译
6. Quantum computational universality of hypergraph states with Pauli-X and Z basis measurements [O] . Yuki Takeuchi, Tomoyuki Morimae, Masahito Hayashi -1

机译：基于Pauli-X和Z基测量的超图状态的量子计算通用性
7. On the existence of free models in fuzzy universal Horn classes [O] . Costa, Vicent, Dellunde, Pilar 2017

机译：关于模糊通用Horn类中自由模型的存在

Axiomatisability and hardness for universal Horn classes of hypergraphs

摘要

著录项

相似文献

相关主题

期刊订阅